15.72/19.33	unsat
