48.89/49.03	unsat
