18.55/21.72	unsat
