46.96/49.42	unsat
