42.83/47.47	unsat
