5.60/6.47	unsat
