10.89/13.45	unsat
