43.88/47.29	unsat
