49.89/52.03	unsat
