48.48/48.97	unsat
