20.89/21.97	unsat
