19.45/21.33	unsat
