28.05/51.68	unsat
