18.55/18.71	unsat
