4.27/6.14	unsat
