45.16/45.24	unsat
