48.95/52.03	unsat
