18.86/20.73	unsat
