18.55/20.71	unsat
