46.71/48.65	unsat
