38.99/41.61	unsat
