19.79/20.39	unsat
