46.94/49.15	unsat
