15.26/19.86	unsat
