19.86/21.44	unsat
