46.69/48.30	unsat
