42.44/48.63	unsat
