45.00/48.00	unsat
