47.19/47.24	unsat
