47.57/48.16	unsat
