13.28/18.28	unsat
