18.69/21.55	unsat
