18.08/28.68	unsat
