5.06/5.13	unsat
