5.22/5.71	unsat
