18.84/20.23	unsat
