28.79/31.98	unsat
