8.44/13.28	unsat
