18.18/20.68	unsat
