18.18/18.67	unsat
