39.71/42.49	unsat
