45.32/48.15	unsat
