43.92/47.70	unsat
