38.79/38.99	unsat
