47.50/48.65	unsat
