49.68/49.75	unsat
