18.55/21.26	unsat
