42.41/43.34	unsat
