47.26/49.61	unsat
