45.71/48.24	unsat
