21.06/21.55	unsat
