28.05/32.32	unsat
