30.63/32.03	unsat
