13.26/13.39	unsat
