3.53/5.47	unsat
