39.44/42.31	unsat
