18.34/19.68	unsat
