44.07/47.03	unsat
