14.23/14.39	unsat
