18.56/18.67	unsat
