6.58/12.03	unsat
