4.41/6.14	unsat
