20.68/21.00	unsat
