20.69/21.55	unsat
