47.66/48.97	unsat
