19.06/21.44	unsat
