31.13/31.28	unsat
