5.60/8.14	unsat
