47.13/54.86	unsat
